Parallel Emergency: Social Renormalization via Monads and Computational Social Systems

Social science. Computational social science.

Computational Lambda-Calculus and Monads

The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gross simplification is introduced. We give a calculus based on a categorical semantics for computations , which provides a correct basis for proving equivalence of programs, independent from any specific computational model.

Computational Social Science: Agent-based social simulation

versus Descriptive. Models can vary in the degree to which they attempt to incorporate the detail of particular targets. An example of a model which aims to be a detailed representation of a specific location and the developments there is the work by Dean et al. (1999) on the Long House Valley, in northern Arizona near Monument Valley. The model covers a time from about A.D. 400 to 1400 and con...

Computational Social Choice and Computational Complexity: BFFs?

We discuss the connection between computational social choice (comsoc) and computational complexity. We stress the work so far on, and urge continued focus on, two less-recognized aspects of this connection. Firstly, this is very much a two-way street: Everyone knows complexity classification is used in comsoc, but we also highlight benefits to complexity that have arisen from its use in comsoc...

Geography and computational social science

The emergence of computational social science has had a transformative influence on the geographical sciences, integrating diverse themes of scholarship and allying it with the pursuit of grand challenges in the physical, natural, and life sciences. Geography has benefitted from many of these developments and has, in turn, catalyzed significant advances and innovation in computational social sc...